GAUTHIER, Yvon, De la logique interne

Complexité de la réduction en logique combinatoire

Contributions à la sémantique de la programmation logique

This work can be split in two parts. First, we present a full formalisation of the semantics of de nite programs, in the calculus of inductive constructions. For this, we describe a formalisation of the proof of rst order terms uni cation obtained from a similar proof dealing with quasi-terms, thus showing in a general setting how partial functions can be considered in a system with total funct...

Approche logique pour la réconciliation de références

Résumé. Le problème de réconciliation de références consiste à décider si deux descriptions provenant de sources distinctes réfèrent ou non à la même entité du monde réel. Dans cet article, nous étudions ce problème quand le schéma des données est décrit en RDFS étendu par certaines primitives de OWL-DL. Nous décrivons et montrons l’intérêt d’une approche logique basée sur des règles de réconci...

Un bilan interprétatif de la théorie de l’agrégation logique

The theory of judgment aggregation, or rather logical aggregation, as we conceive of it here, generalizes the theory of social choice by having the aggregation rule bear on judgments of any kind whatever, and not barely preference judgments. It derives from Kornhauser and Sager’s doctrinal paradox and Pettit’s 1Cet article développe la présentation de la théorie de l’agrégation logique faite pa...

a la recherche de logique

-